Some Computational Aspects of Inconsistency-Adaptive Logics
ثبت نشده
چکیده
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all flat adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for
منابع مشابه
INCONSISTENCY–ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency
In this paper, I will characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human...
متن کاملRecent Results by the Inconsistency - Adaptive Labourers ∗
This paper offers an incomplete survey of recent results on inconsistencyadaptive logics (disregarding results on other adaptive logics). Much attention is paid to the so-called standard format, because it provides most of the required metatheory for adaptive logics that are phrased in this format. Combined adaptive logics are also briefly discussed. Other results briefly reported on concern (i...
متن کاملAdding the Inference Rule Disjunctive Syllogism to Relevant Logics
In order to avoid trivial consequences, the derivability relation of relevant logics (RL) does not support the inference rule disjunctive syllogism (DS). In this paper, I will show that the inference rule DS can be added to this derivability relation in a way that doesn’t lead to trivial or irrelevant consequences. To do so, I will rely on the insights gained from the study of inconsistency–ada...
متن کاملQuasi-Classical Semantics for Expressive Description Logics
Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is reduced to the standard semantics when there...
متن کاملNew Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
Nearly all popular reasoning forms that handle inconsistencies in a defeasible way have been characterized in terms of inconsistency-adaptive logics in standard format. This format has great advantages, which are explained in Sections 1 and 2. This suggests that inconsistency-adaptive logics form a suitable unifying framework for handling such reasoning
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002